-
1 predicate formula
-
2 predicate formula
The New English-Russian Dictionary of Radio-electronics > predicate formula
-
3 predicate
логика1) предикат, сказуемое || предикатный2) утверждение || утверждать• -
4 predicate
1) вчт предикат (1. пропозициональная логическая функция, выражение с неопределёнными терминами 2. приписываемый объекту признак; свойство; отношение 3. сказуемое 4. рема, ядро, заключительная часть актуального членения предложения 5. ключевое слово (напр. в языках программирования SQL и Prolog)) || предикатный, предикативный3) утверждение || утверждать•- predicate with free variable
- algebraic predicate
- analytical predicate
- associated predicates
- atomic predicate
- basic predicate
- binary predicate
- Boolean predicate
- bounded predicate
- complete predicate
- completely defined predicate
- completely representable predicate
- computability predicate
- decidable predicate
- definable predicate
- derived predicate
- disjunctively definable predicate
- dyadic predicate
- enumerable predicate
- equality predicate
- exhaustive predicate
- expressible predicate
- first-order predicate
- formula predicate
- fuzzy predicate
- generable predicate
- general recursive predicate
- higher-order predicate
- Horn predicate
- invariant predicate
- irreducible predicate
- logic predicate
- monadic predicate
- multi-place predicate
- n-argument predicate
- niladic predicate
- n-place predicate
- nth order predicate
- numerical predicate
- one-place predicate
- polynomial predicate
- prime predicate
- primitively recursive predicate
- recursive predicate
- representable predicate
- resolvable predicate
- sameness predicate
- semantic predicate
- strong predicate
- triadic predicate
- two-place predicate
- unary predicate
- undecidable predicate
- unitary predicate
- universal predicate -
5 predicate
1) вчт. предикат (1. пропозициональная логическая функция, выражение с неопределёнными терминами2. приписываемый объекту признак; свойство; отношение 3. сказуемое 4. рема, ядро, заключительная часть актуального членения предложения 5. ключевое слово (напр. в языках программирования SQL и Prolog)) || предикатный, предикативный3) утверждение || утверждать•- analytical predicate
- associated predicates
- atomic predicate
- basic predicate
- binary predicate
- Boolean predicate
- bounded predicate
- complete predicate
- completely defined predicate
- completely representable predicate
- computability predicate
- decidable predicate
- definable predicate
- derived predicate
- disjunctively definable predicate
- dyadic predicate
- enumerable predicate
- equality predicate
- exhaustive predicate
- expressible predicate
- first-order predicate
- formula predicate
- fuzzy predicate
- generable predicate
- general recursive predicate
- higher-order predicate
- Horn predicate
- invariant predicate
- irreducible predicate
- logic predicate
- monadic predicate
- multi-place predicate
- n-argument predicate
- niladic predicate
- n-place predicate
- nth order predicate
- numerical predicate
- one-place predicate
- polynomial predicate
- predicate of predicates
- predicate with free variable
- prime predicate
- primitively recursive predicate
- recursive predicate
- representable predicate
- resolvable predicate
- sameness predicate
- semantic predicate
- strong predicate
- triadic predicate
- two-place predicate
- unary predicate
- undecidable predicate
- unitary predicate
- universal predicateThe New English-Russian Dictionary of Radio-electronics > predicate
-
6 formula
а) формулировка- Bayes formula
- Bayesian formula
- Bethe-Salpeter formula
- Cauchy formula
- Cauchy dispersion formula
- Cayley formula
- dispersion formula
- Erlang formula
- Erlangian formula
- external reference formula
- invariant under stuttering formula
- Moivre formula
- molecular formula
- Nyquist formula
- Parseval's formula
- predicate formula
- Sabine formula
- satisfiable formula
- Shockley-Read formula
- Steinmetz formula
- Stirling's formula
- string formula
- structural formula
- syntactically monotone formula -
7 formula
а) формулировка•- Bayes formula
- Bayesian formula
- Bethe-Salpeter formula
- Cauchy dispersion formula
- Cauchy formula
- Cayley formula
- dispersion formula
- Erlang formula
- Erlangian formula
- external reference formula
- invariant under stuttering formula
- Moivre formula
- molecular formula
- Nyquist formula
- Parseval's formula
- predicate formula
- Sabine formula
- satisfiable formula
- Shockley-Read formula
- Steinmetz formula
- Stirling's formula
- string formula
- structural formula
- syntactically monotone formulaThe New English-Russian Dictionary of Radio-electronics > formula
-
8 formula
1) рецепт2) формула || формульный3) формулировка•- arithmetically valid formula - back interpolation formula - computational formula - computing formula - corrector formula - formally decidable formula - formally refutable formula - formula of finite increments - geometrically valid formula - homomorphically stable formula - identically false formula - identically true formula - intuitionistically valid formula - logically valid formula - maximum likelihood formula - modally valid formula - monotonically increasing formula - numeralwise expressible formula - numeralwise representable formula - positively valid formula - primitively recursive formula - reciprocity formula - secondarily valid formula - square stable formula - universally valid formulato follow the formula — подчиняться [следовать] формуле; описываться формулой
-
9 formula predicate
Большой англо-русский и русско-английский словарь > formula predicate
-
10 formula predicate
Математика: формульный предикат -
11 predicate letter formula
Математика: предикатная формулаУниверсальный англо-русский словарь > predicate letter formula
-
12 formula predicate
-
13 formula predicate
The New English-Russian Dictionary of Radio-electronics > formula predicate
-
14 formula predicate
логика -
15 predicate letter formula
English-Russian scientific dictionary > predicate letter formula
-
16 positive-formula predicate
Большой англо-русский и русско-английский словарь > positive-formula predicate
-
17 positive-formula predicate
Математика: позитивно формульный предикатУниверсальный англо-русский словарь > positive-formula predicate
-
18 positive-formula predicate
English-Russian scientific dictionary > positive-formula predicate
-
19 decidable
разрешимый effectively decidable function ≈ эффективно разрешимая функция effectively decidable predicate ≈ эффективно разрешимый предикат effectively decidable relation ≈ эффективно разрешимое отношение formally decidable formula ≈ формально разрешимая формула numeralwise decidable formula ≈ нумерически разрешимая формула numeralwise decidable function ≈ нумерически разрешимая функция numeralwise decidable predicate ≈ нумерически разрешимый предикат - completely decidable - decidable algebra - decidable arithmetic - decidable formula - decidable language - decidable predicate - decidable proposition - decidable relation - decidable sentence - decidable set - decidable statement - decidable system - decidable theor - effectively decidable - formally decidable - numeralwise decidable - partially decidable разрешимый - * set (математика) разрешимое множествоБольшой англо-русский и русско-английский словарь > decidable
-
20 representable
представимый, изобразимый analytically representable function ≈ аналитически представимая функция completely representable predicate ≈ полностью представимый предикат numeralwise [numerically] representable ≈ нумерически представимый numeralwise representable formula ≈ нумерически представимая формула numeralwise representable function ≈ нумерически представимая функция recursively representable operation ≈ рекурсивно представимая операция recursively representable relation ≈ рекурсивно представимое отношение sourcewise representable function ≈ истокообразно представленная функция uniquely representable graph ≈ однозначно представимый граф weakly representable predicate ≈ слабо представимый предикат - analytically representable - nomographically representable - properly representable - recursively representable - representable algebra - representable event - representable function - representable functor - representable integer - representable predicate - strongly representable - totally representable - uniquely representable - weakly representable ПредставимоБольшой англо-русский и русско-английский словарь > representable
- 1
- 2
См. также в других словарях:
Predicate functor logic — In mathematical logic, predicate functor logic (PFL) is one of several ways to express first order logic (formerly known as predicate logic) by purely algebraic means, i.e., without quantified variables. PFL employs a small number of algebraic… … Wikipedia
Predicate abstraction — In logic, predicate abstraction is the result of creating a predicate from an open sentence. If Q(x) is any formula with x free then the predicate formed from that sentence is (λx.Q(x)), where λ is an abstraction operator. The resultant predicate … Wikipedia
Predicate variable — In first order logic, a predicate variable is a predicate letter which can stand for a relation (between terms) but which has not been specifically assigned any particular relation (or meaning). In first order logic (FOL) they can be more… … Wikipedia
Propositional formula — In propositional logic, a propositional formula is a type of syntactic formula which is well formed and has a truth value. If the values of all variables in a propositional formula are given, it determines a unique truth value. A propositional… … Wikipedia
Monadic predicate calculus — In logic, the monadic predicate calculus is the fragment of predicate calculus in which all predicate letters are monadic (that is, they take only one argument), and there are no function letters. All atomic formulae have the form P(x), where P… … Wikipedia
Atomic formula — In mathematical logic, an atomic formula (also known simply as an atom) is a formula with no deeper propositional structure, that is, a formula that contains no logical connectives or equivalently a formula that has no strict subformulas. Atoms… … Wikipedia
atomic formula/sentence — Technically, an atomic formula is one with no logical constants . An atomic sentence is an atomic formula with no free variables . Intuitively, it is the kind of sentence on the basis of which one might start to construct logical complexity: a… … Philosophy dictionary
Well-formed formula — In mathematical logic, a well formed formula (often abbreviated WFF, pronounced wiff or wuff ) is a symbol or string of symbols (a formula) that is generated by the formal grammar of a formal language. To say that a string S is a WFF with respect … Wikipedia
First-order logic — is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic (a less… … Wikipedia
Circumscription (logic) — Not to be confused with circumscribe. Circumscription is a non monotonic logic created by John McCarthy to formalize the common sense assumption that things are as expected unless otherwise specified. Circumscription was later used by McCarthy in … Wikipedia
formal logic — the branch of logic concerned exclusively with the principles of deductive reasoning and with the form rather than the content of propositions. [1855 60] * * * Introduction the abstract study of propositions, statements, or assertively used … Universalium